bitkeeper revision 1.1159.212.65 (42001ad5CoYcWQyfGjSHSJBFeqFrLg)

Make mmio_space() static inline.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: ian.pratt@cl.cam.ac.uk

diff --git a/xen/include/asm-x86/vmx_platform.h b/xen/include/asm-x86/vmx_platform.h
index ed4b234a0e32e92b6e785f782c3fb53e0b1a49e4..971f616286766f966caece0f8072a7b32ab4b84e 100644 (file)
--- a/xen/include/asm-x86/vmx_platform.h
+++ b/xen/include/asm-x86/vmx_platform.h
@@ -81,11 +81,10 @@ struct virutal_platform_def {
     struct mi_per_cpu_info mpci;            /* MMIO */
 };
 
-extern int mmio_space(unsigned long);
 extern void handle_mmio(unsigned long, unsigned long, unsigned long);
 extern int vmx_setup_platform(struct exec_domain *, execution_context_t *);
 
-extern inline int mmio_space(unsigned long gpa)
+static inline int mmio_space(unsigned long gpa)
 {
     if (gpa >= VGA_SPACE_START && gpa < VGA_SPACE_END) {
         return 1;